# Without this dummy target, the test target becomes the default target.
build:
	echo nothing to build

# Requires numpy and z3.
test:
	./generate-autoscale.py 4 pddl
